Boolean analysis - PDFSEARCH.IO - Document Search Engine

Boolean analysis
Results: 158

#	Item
41	16th Canadian Conference on Computational Geometry, 2004 An Average Running Time Analysis of a Backtracking Algorithm to Calculate the Measure of the Union of Hyperrectangles in Dimensions Susumu Suzuki Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-08-23 15:27:23 Operations research NP-complete problems Search algorithms Analysis of algorithms Boolean satisfiability problem Backtracking Algorithm PP Time complexity Theoretical computer science Applied mathematics Computational complexity theory
42	ENGG1015: Homework 2 Dr. Kenneth Wong / Dr. Hayden So Due: 5pm, Nov 3, 2010 Turn in your homework at boxes outside Rm712, CYC Building Question 1 Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-10-22 02:40:08 Boolean algebra Propositional calculus Functional analysis Algebraic logic Truth table Logic gate Convolution Image Function Mathematics Abstract algebra Mathematical logic
43	Interval Analysis on Directed Acyclic Graphs for Global Optimization Hermann Schichl and Arnold Neumaier Institut f¨ ur Mathematik, Universit¨at Wien Strudlhofgasse 4, A-1090 Wien, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2003-12-05 12:03:46 Network flow Directed graph Local consistency Graph Flow network Multigraph Tree Boolean algebra Topological sorting Graph theory Constraint programming Directed acyclic graph
44	Conducting and Visualizing Set-Theoretic Social Research with Python Claude Rubinson University of Houston—Downtown Add to Reading List Source URL: gator.uhd.edu Language: English - Date: 2014-10-05 16:33:55 Methodology Boolean algebra Analysis QCA Social research Sociology Science Qualitative comparative analysis Research methods
45	1 An Efficient Optimization Framework for Multi-Region Segmentation based on Lagrangian Duality Johannes Ul´en, Petter Strandmark and Fredrik Kahl Add to Reading List Source URL: www.medtechwest.se Language: English - Date: 2013-10-29 04:26:53 Linear programming Image processing Operations research Mathematics Applied mathematics Submodular set function Segmentation Pseudo-Boolean function Duality Mathematical optimization Convex optimization Mathematical analysis
46	Constructing Kirq, software for set-theoretic social research: A software development travelogue Claude Rubinson University of Houston—Downtown Add to Reading List Source URL: gator.uhd.edu Language: English - Date: 2013-03-18 20:39:07 Analysis Boolean algebra Mind Ethology Research methods Qualitative comparative analysis Science
47	Qualitative Comparative Analysis Claude Rubinson University of Houston—Downtown Houston, TX Emory University Add to Reading List Source URL: gator.uhd.edu Language: English - Date: 2011-05-16 18:07:11 Mathematics Fuzzy set Boolean algebra Fuzzy logic Logic Mathematical logic
48	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
49	Social Networks–444 Lattices and dimensional representations: matrix decompositions and ordering structures Philippa E. Pattison a,∗ , Ronald L. Breiger b a Add to Reading List Source URL: www.u.arizona.edu Language: English - Date: 2002-09-19 13:05:38 Lattice theory Algebraic structures Mathematical structures Distributive lattice Boolean algebra Lattice Distributive property Formal concept analysis Modular lattice Algebra Abstract algebra Mathematics
50	Specification of Zinc and MiniZinc Zinc version (rotdMiniZinc version 1.3 Nicholas Nethercote Kim Marriott Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-02-10 23:26:00 Programming language theory Type theory C++ Program analysis Type system ALGOL 68 Primitive data type Enumerated type Boolean data type Computing Data types Software engineering

UPDATE